-- Expected output: 1
DEF MAIN:nat == sub(3, 2)

